מדעי המחשב ב' פתרון בחינת הבגרות. One n 4.0. One n T 4 3 T 8 4 T 16 5 T 32 6 F

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "מדעי המחשב ב' פתרון בחינת הבגרות. One n 4.0. One n T 4 3 T 8 4 T 16 5 T 32 6 F"

Transcript

1 ב' פתרון בחינת הבגרות פרק א - tg Together double x 5.0 int from 2 int to 6 One first Two second One n 5.0 Queue<One>q שאלה : א. One n 4.0 One n 8.0 One n 6.0 One n 32.0 new Two ((from,to) n m i i<m 2 i T 4 3 T 8 4 T 6 5 T 32 6 F פלט הפעולה main() methoda() methodb() println first.f() println first,g() second.f() -- MethodA() -- f of One -- MethodB -- g of One 5.0 f of Two 4.0 ב. אם התור לא ריק, מוציאה את האיבר שבראש התור ומדפיסה את ערכו בצירוף הודעה. ואם התור ריק, מדפיסה רק את ההודעה. אין משמעות להנחה ששני המספרים גדולים מ- 0. ההנחה צריכה להתייחס למספרים השני והשלישי המקיימים: השלישי גדול מהראשון.

2 2 a.length = a שאלה 2: א. (a,) sod ערך k i i<4 j j<5 a[i] a[j] a[i]+a[j] == k מוחזר 0 T T 2 4 F 2 T 7 F 3 T 2 F 4 T 8 F 5 F אמת T 2 T 4 7 T ב. (a,0) sod ערך k i i<4 j j<5 a[i] a[j] a[i]+a[j] == k מוחזר 0 0 T T 2 4 F 2 T 7 F 3 T 2 F 4 T 8 F 5 F T 2 T 4 7 F 3 T 2 F 4 T 8 F 5 F 2 T 3 T 7 2 F 4 T 8 F 5 F 3 T 4 T 2 8 F 5 F שקר 4 F

3 3 ג. ד. ה. הפעולה מחזירה "אמת" אם קיימים שני איברים במערך שסכומם k, ו- "שקר" אחרת. סיבוכיות הפעולה sod היא ) 2.O(n בהנחה שיש במערך n איברים: הלולאה החיצונית רצה על כל המערך - סה"כ n צעדים ובתוכה לולאה פנימית הרצה בכל פעם על איבר אחד פחות: 2 n ( n ) n n ( n ) ( n 2) ( n 3)... 2 Sn O( n ) what (a, k) a.length = a k left right left<right I a[left] II a[right] I+II == k I+II < k 0 4 T 2 8 F F 3 T 2 F F 2 T 7 F T ערך מוחזר אמת T 4 T.O(n) what ו. סיבוכיות הפעולה היא הפעולה עוברת לכל היותר מעבר אחד על כל נתוני המערך, עד שמוצאת או לא מוצאת שני איברים שסכומם k. O(n 2 ) O(n) ז. סיבוכיות הפעולה - sod ריבועית סיבוכיות הפעולה - what ליניארית ולכן, what יעילה יותר. )( )2( ח. sod תשיג את מטרתה, כי היא בודקת בכל פעם איבר אחר מול כולם. what לא תשיג את המטרתה, כי היא אינה בודקת את כל האפשרויות. למשל: עבור המערך הבא תחזיר sod "אמת", ואילו what תחזיר "שקר" a

4 4 שאלה 3: א. ההוראה מצב התור לאחר האתחול [] q.insert () [] q.insert (2) [, 2] q.insert (3) [, 2, 3] q.remove() [2, 3] q.insert (4) [2, 3, 4] q.undo() [2, 3] q.undo() [, 2, 3] סעיף א' לאחר הרצת התכנית: start : [] [] 0 for remove for insert 2 for undo - to end --> type a number --> op : [] [(,)] 0 for remove for insert 2 for undo - to end --> type a number --> 2 op : [, 2] [(2,), (,)] 0 for remove for insert 2 for undo - to end --> type a number --> 3 op : [, 2, 3] [(3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> 0 op 0: [2, 3] [(,0), (3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> type a number --> 4 op : [2, 3, 4] [(4,), (,0), (3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> 2 op 2: [2, 3] [(,0), (3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> 2 op 2: [, 2, 3] [(3,), (2,), (,)] 0 for remove for insert 2 for undo - to end --> -

5 5 /* מחלקה המגדירה פעולה עבור * Undo */ public class Item הערך // val; private int הפעולה :,insert private int op; // remove :0 java: /* * QueueUndo תור- ביטול */ public class UndoQueue private Queue <Integer> que; private Stack<Item> stk; תור הפעולות // מחסנית ה - undo // public UndoQueue() this.que = new Queue<Integer>(); this.stk = new Stack<Item>(); --- הכנסה לתור ביטול ---// public void insert(int x) this.que.insert(x); this.stk.push(new Item(x,)); --- הוצאה מתור ביטול ---// public int remove() int x = this.que.remove(); this.stk.push(new Item(x,0)); return x; --- פעולת //--- undo public void undo() if(!stk.isempty()) Item item = this.stk.pop(); if (item.getop() == 0) undoremove (item.getval()); else undoinsert (); --- הוצאת הערך שנמצא בסוף התור ---// --- הנחה: התור לא ריק ---//

6 6 private void undoinsert() --- דחיפת סימן לתור ---// int sign = -; this.que.insert(sign); // כל איברי התור חיוביים. מספר שלילי מהווה סימן טוב // --- העברת כל האיברים פרט לאחרון לסוף התור ---// int x = this.que.remove(); boolean finish = false; while (! finish) if (this.que.head() == sign) this.que.remove(); finish = true; else this.que.insert(x); x = this.que.remove(); --- הכנסת ערך לתחילת התור ---// private void undoremove(int x) Queue<Integer>q = new Queue<Integer>(); דחיפת הערך לתחילת תור העזר // q.insert(x); --- העברת כל האיברים לתור העזר ---// while (! this.que.isempty()) q.insert(this.que.remove()); החזרת האיברים מתוך העזר לתור המקורי ---// while (! q.isempty()) this.que.insert(q.remove());

7 7 /* מחלקה המגדירה פעולה עבור * Undo */ public class Item הערך // val; private int הפעולה :,insert private int op; // remove :0 C#: /* * QueueUndo תור- ביטול */ public class UndoQueue private Queue <int> que; private Stack<Item> stk; תור הפעולות // מחסנית ה - undo // public UndoQueue() this.que = new Queue<int>(); this.stk = new Stack<Item>(); --- הכנסה לתור ביטול ---// public void Insert(int x) this.que.insert(x); this.stk.push(new Item(x,)); --- הוצאה מתור ביטול ---// public int Remove() int x = this.que.remove(); this.stk.push(new Item(x,0)); return x; --- פעולת //--- undo public void Undo() if(!stk.isempty()) Item item = this.stk.pop(); if (item.getop() == 0) UndoRemove (item.getval()); else UndoInsert ();

8 8 --- הוצאת הערך שנמצא בסוף התור ---// ---// ריק --- הנחה: התור לא private void UndoInsert() --- דחיפת סימן לתור ---// int sign = -; this.que.insert(sign); // כל איברי התור חיוביים. מספר שלילי מהווה סימן טוב // --- העברת כל האיברים פרט לאחרון לסוף התור ---// int x = this.que.remove(); bool finish = false; while (! finish) if (this.que.head() == sign) this.que.remove(); finish = true; else this.que.insert(x); x = this.que.remove(); --- הכנסת ערך לתחילת התור ---// private void UndoRemove(int x) Queue<int> q = new Queue<int>(); דחיפת הערך לתחילת תור העזר // q.insert(x); --- העברת כל האיברים לתור העזר ---// while (! this.que.isempty()) q.insert(this.que.remove()); החזרת האיברים מתוך העזר לתור המקורי ---// while (! q.isempty()) this.que.insert(q.remove());

9 9 פתרון אחר: מחסנית ה- undo היt מחסנית שכל איבר בה הוא מסוג תור. בכל פעם שמתבצעת פעולה על תור-ביטול נוצר עותק של התור והוא מוכנס למחסנית. בכל פעם שמתבצעת פעולת undo מקבל תור-ביטול הפנייה לתור שנשלף מראש המחסנית. הערה: פתרון זה אינו יעיל כי הוא בזבזני במקום. אחרי n פעולות על התור )ללא )undo יהיה במחסנית n תורים שתופסים הרבה מאוד מקום בזיכרון. למימוש זה קראתי QueueUndo )ולא Undo Queu כנדרש בשאלה( public class QueueUndo private Queue <Integer> que; java: תור הפעולות // מחסנית ה - undo private Stack<Queue<Integer>> stk; // public QueueUndo() this.que = new Queue<Integer>(); this.stk = new Stack<Queue<Integer>>(); --- הכנסה לתור ביטול ---// public void insert(int x) this.que.insert(x); this.stk.push(copyqueue()); --- הוצאה מתור ביטול ---// public int remove() int x = this.que.remove(); this.stk.push(copyqueue()); return x; --- פעולת //--- undo public void undo() if(!stk.isempty()) Queue<Integer>q = this.stk.pop(); this.que = copyqueue(); --- פעולה המחזירה העתק של התור- ביטול ---// private Queue<Integer> copyqueue() Queue<Integer> q = new Queue<Integer>(); Queue<Integer> qtmp = new Queue<Integer>(); while (! this.que.isempty()) int x = this.que.remove(); q.insert(x); qtmp.insert(x); while (! qtmp.isempty()) this.que.insert(qtmp.remove()); return q;

10 0 public class QueueUndo private Queue<int> que; private Stack<Queue<int>> stk; תור הפעולות // מחסנית ה - undo // C# : public QueueUndo() this.que = new Queue<int>(); this.stk = new Stack<Queue<int>>(); --- הכנסה לתור ביטול ---// public void Insert(int x) this.que.insert(x); this.stk.push(copyqueue()); --- הוצאה מתור ביטול ---// public int Remove() int x = this.que.remove(); this.stk.push(copyqueue()); return x; --- פעולת //--- undo public void Undo() if (!stk.isempty()) Queue<int> q = this.stk.pop(); this.que = CopyQueue(); --- פעולה המחזירה העתק של התור- ביטול ---// private Queue<Integer> CopyQueue() Queue<int> q = new Queue<int>(); Queue<int> qtmp = new Queue<int>(); while (!this.que.isempty()) int x = this.que.remove(); q.insert(x); qtmp.insert(x); while (!qtmp.isempty()) this.que.insert(qtmp.remove()); return q;

11 סעיף א' לאחר הרצת התכנית באפשרות - מחסנית של תורים: start : [] [] 0 for remove for insert 2 for undo - to end --> type a number --> op : [] [[]] 0 for remove for insert 2 for undo - to end --> type a number --> 2 op : [, 2] [[, 2], []] 0 for remove for insert 2 for undo - to end --> type a number --> 3 op : [, 2, 3] [[, 2, 3], [, 2], []] 0 for remove for insert 2 for undo - to end --> 0 op 0: [2, 3] [[2, 3], [, 2, 3], [, 2], []] 0 for remove for insert 2 for undo - to end --> type a number --> 4 op : [2, 3, 4] [[2, 3, 4], [2, 3], [, 2, 3], [, 2], []] 0 for remove for insert 2 for undo - to end --> 2 op 2: [2, 3, 4] [[2, 3], [, 2, 3], [, 2], []] 0 for remove for insert 2 for undo - to end --> 2 op 2: [2, 3, 4] [[, 2, 3], [, 2], []] 0 for remove for insert 2 for undo - to end --> -

12 2 java: :4 --- ט.כניסה: עץ בינארי לא ריק ומחסנית ריקה של מספרים ---// --- ט.יציאה: המחסנית מכילה את ערכי העלים בסריקה מימין לשמאל ---// public static void leaves (BinTreeNode<Integer>t, Stack<Integer>s) if (t!= null) if (isleaf(t)) s.push(t.getinfo()); else leaves(t.getright(), s); leaves(t.getleft(), s); שאלה --- האם עלה? // הנחה : bt אינו //-- null public static boolean isleaf (BinTreeNode <Integer> bt) if (bt.getleft() == null && bt.getright() == null) return true; return false; --- ט.כניסה: 2 עצים בינאריים המכילים מספרים שלמים ---// --- ט.יציאה: "אמת" אם מספר וערכי העלים ב- 2 העצים שווים ---// --- ו-"שקר" אחרת ---// public static boolean chktrees ( BinTreeNode <Integer> t, BinTreeNode <Integer> t2) Stack <Integer> s = new Stack<Integer>(); Stack <Integer> s2 = new Stack<Integer>(); leaves(t, s); leaves(t2, s2); --- השוואת ערכי העלים שבשתי המחסניות ---// while (! s.isempty() &&! s2.isempty()) if (s.pop()!= s2.pop()) return false; --- אם אחת המחסניות התרוקנה לפני הזמן ---// if (! s.isempty()! s2.isempty()) return false; return true;

13 3 --- ט.כניסה: עץ בינארי לא ריק ומחסנית ריקה של מספרים ---// --- ט.יציאה: המחסנית מכילה את ערכי העלים בסריקה מימין לשמאל ---// public static void Leaves (BinTreeNode<int>t, Stack<int>s) if (t!= null) if (IsLeaf(t)) s.push(t.getinfo()); else Leaves(t.GetRight(), s); Leaves(t.GetLeft(), s); --- האם עלה? // הנחה : bt אינו //-- null public static bool IsLeaf (BinTreeNode <int> bt) if (bt.getleft() == null && bt.getright() == null) return true; return false; --- ט.כניסה: 2 עצים בינאריים המכילים מספרים שלמים ---// --- ט.יציאה: "אמת" אם מספר וערכי העלים ב- 2 העצים שווים ---// --- ו-"שקר" אחרת ---// public static bool ChkTrees (BinTreeNode <int> t, BinTreeNode <int> t2) Stack <int> s = new Stack<int>(); Stack <int> s2 = new Stack<int>(); Leaves(t, s); Leaves(t2, s2); --- השוואת ערכי העלים שבשתי המחסניות ---// while (! s.isempty() &&! s2.isempty()) if (s.pop()!= s2.pop()) return false; --- אם אחת המחסניות התרוקנה לפני הזמן ---// if (! s.isempty()! s2.isempty()) return false; return true; C# :

14 4 פרק ב' מערכות מחשב ואסמבלר תרגיל 5: תרגיל 6: תרגיל 7: שאלה 8:

15 5 פרק ב' מבוא לחקר ביצועים שאלה 9: שאלה 0: שאלה : שאלה 2:

16 6 פרק ב' מודלים חישוביים הפתרון לפרק זה נכתב ע"י רחל לודמר. תרגיל 3: n=, עבור k= ab 4 c א. המילה הקצרה היא ב. ללא שינוי/, a דחוף b, / S דחוף b,s/ A דחוף b,a/ A ללא שינוי/ b,s ללא שינוי/ b,a ללא שינוי/, b ללא שינוי/, a שלוף c,s /S שלוף c,a /A ללא שינוי/ b,s ללא שינוי/ b,a שלוף c,s /S שלוף c,a /A

17 7 q 0 a q a a a זוגי a זוגי b אי זוגי b זוגי b q 3 q 4 b a שאלה 4: a אי זוגי b זוגי b q 2 b a זוגי b אי זוגי b a a q 5 a b b q 6 a אי זוגי b אי זוגי השלמת האוטומט נעזרה במקרא הבא: a אי זוגי b זוגי - מצב התחלה q 0 מספר ה- a אי זוגי ומספר ה- b זוגי. - q מספר ה- a זוגי ומספר ה- b אי זוגי. - q 2 מספר ה- a זוגי ומספר ה- b זוגי. - q 3 - מספר ה- a זוגי ומספר ה- b אי זוגי. q 4 מספר ה- a אי זוגי ומספר ה- b זוגי. - q 5 מספר ה- a אי זוגי ומספר ה- b אי זוגי. - q 6 q q q b b a a b b 0 q3 q4 q q2 q3 q4 a b a a 0 q q3 q q2 b b 0 q3 q4 ב.. (i) המילה aaba לא מתקבלת. (ii) המילה bbaabb מתקבלת. (iii) המילה abaa מתקבלת. (iv) המילה bb מתקבלת. השפה L המוגדרת ע"י האוטומט היא אוסף כל המילים מעל הא"ב אותיות זהות. a,b שמסתיימות לפחות בשתי.2

18 8 שאלה 5: n k L 0 2 n k 0 א. הוכחה שהשפה אינה רגולרית. נוכיח שהשפה L היא אי רגולרית, בדרך השלילה. נניח שהשפה רגולרית וקיים אוטומט סופי דטרמיניסטי A הבונה אותה. תהי הקבוצה האינסופית הבאה: התחלות של מילים בשפה L i j.w מתוך הקבוצה w 0, w2 0 i j, נבחר שתי התחלות שונות, j 0 מאחר והאוטומט הוא סופי ניתן להניח כי שתי המילים מגיעות למצב משותף q t באוטומט. A משם נשרשר כל מילה עם הרצף 2 3 n W 0, 0, 0,...,0,.... q r. שתי המילים מגיעות למצב משתף i 2 0 i עבור i>j שייכת לשפה, ולכן q מצב מקבל. מאחר ויש להם מסלול משותף, j r המילה 2 0 i גם בשפה, וזה בניגוד לכללי השפה. יוצא גם ש- i 2 לכן הנחתנו ששתי המילים מגיעות למצב משתף אינה נכונה, אלא כל מילה מגיעה למצב אחר. ומאחר והקבוצה W היא אינסופית יוצא שכל מילה מגיע למצב אחר. ומכאן יש אינסוף מצבים ב-, A בניגוד להגדרת אוטומט סופי. לכן ההנחה שקיים אוטומט סופי הבונה את השפה L אינה נכונה, והשפה אינה רגולרית. ואילו השפה L,(n>0) השפה. L L החיתוך הוא השפה הריקה. השפה L חייבת להתחיל באות 0 את הספרה 0. ב. אינה מכילה כלל

19 9 שאלה 6: א. מסלולו חישוב עבור (3)f q 0 a f(3) = '' q a q 2 a q 2 a q 3 a q 6 a q 6 q 5 a q a q 4 q 7 ב. '' = f(5) בסוף הפעולה נקבל ג. '' = f(6) בסוף הפעולה נקבל

20 20 מטרת הפונקציה 2/x f(x) = )החלק השלם(. עבור x זוגי נקבל 2/x ועבור x אי זוגי נקבל 2/(-x) ד. ימין, /. q 0 יש להוסיף את המעבר q7, f(0) ה. כדי לקבל את אפשרות אחרת: / a, q 0 ימין להוסיף את המעבר q

21 2 Java פרק ב' תכנות מונחה עצמים תרגיל 7: הבדיקה לא חובה. אם ערך התא null הפעולה instanceof תחזיר שקר

22 22 תרגיל 8: class A numa 0 2 class B numb class D numd 0 2 B w numb ++ B w2 numb numd B w3 numb numd B m 2 m2 3 D m 6 m2 6 d.5 D m 8 m2 9 d 2.3 A A A w4 A a // A w5 A a numa ++ B b numa ++ B b B(2, 3), # B(6, 6), #2 D(.5, 6), # B(8, 9), #3 D(2.3, 8, 9), #2 פלט: A Constructor, # A Constructor, #2

23 23 תרגיל 9: aseq n i i < 4 א. פלט 5 elements: 2, 5, 8,, 4 The sequence כן 0 ASeq כן first 2 diff כן כן לא public class Sequence protected int first; public Sequence(int first) this.first = first; ב. public int thenelement(int n) return this.first; public void displaynelements(int n) System.out.print("The sequence elements"); for (int i = ; i < n ; i++) System.out.print(this.first + ","); System.out.println(this.first); האיבר האחרון מודפס ללא סימן פסיק אחריו השינויים במחלקה :ASeq public class ASeq extends Sequence // המחלקה מרחיבה את Sequence private int difference; // מוגדר במחלקת העל first public ASeq(int first, int difference) אתחול first ב- super(first); // super this.difference = difference; : // כל שאר המחלקה ללא שינוי : // כל פעולה מגדירה מחדש את הפעולות של מחלקת העל כך שיתאים לסדרה הנוכחית

24 24 ג. יש לממש את הפעולה סכום-הסדרה במחלקה.Sequance המחלקות היורשות יכולות להשתמש בפעולה ללא צורך בשינויים, כל אחת תממש את הפעולה לפי הפעולה thenelement המוגדרת בה. public int sumseq(int n) int sum = 0; for (int i = ; i <= n ; i++) sum += thenelement(i); return sum; // comparing sumsequences public static char check (int n, ASeq sqa, GSeq sqg) int suma = sqa.sumseq(n); int sumg = sqg.sumseq(n); ד. if (suma > sumg) return 'A'; if (suma < sumg) return 'G'; return 'E';

25 25 שאלה 20: הפעולות נתונות ואין צורך לרשום אותן בפתרון א א א ב

26 26 א א א ב

27 27 פרק ב' תכנות מונחה עצמים #C הפתרון לפרק זה נכתב ע"י זיוה קונצמן תרגיל 2: public virtual bool IsLike(Object obj) return obj is AA &&((AA)obj).GetSt().Equals(this.GetSt()); public override bool IsLike(object obj) return obj is BB && ((BB)obj).GetNum()==this.GetNum(); א. במחלקה :AA ב. במחלקה : BB ג. קטע התוכנית נכון. מתבצעת המרה אוטומטית כלפי מעלה של משתנה מטיפוס הבן להפניה מטיפוס האב. הבן הוא גם טיפוס האב לכן אין בעיה. st = excellent num = ד. הפלט יהיה: קטע התוכנית שגוי. לא יכול להמיר כלפי מטה הפניה מסוג האב להיות הפניה מסוג הבן, הוא לא נוצר כ- BB אלא כ-,AA ואינו יכול לעבור המרה למשהו שהוא לא. השגיאה היא שגיאת קומפילציה. public static string LongString(Object[] a) string st = ""; for (int i = 0; i < st.length; i++) if (a[i] is AA &&!(a[i] is BB)) st += ((AA)a[i]).GetSt(); else if (a[i] is BB) for (int j = ; j < ((BB)a[i]).GetNum(); j++) st += ((BB)a[i]).GetSt(); return st; ה.

28 28 תרגיל 22: w: B B m=2 m2=3 w2: B D m=6 m2=3 d=.5 w3: B D m=8 m2=9 d=2.3 w4: A A a=null b= w5: A A a= b= הפלט:

29 29 תרגיל 23: א. aseq: ASeq Aseq first=2 difference=3 The sequence elements 2,5,8,,4 הפלט: public class Sequence protected int first; public Sequence(int first) this.first = first; public virtual int TheNElement(int n) return this.first; public virtual void DisplayNElement(int n) Console.Write("The sequence elements"); for (int i = 0; i < n; i++) Console.Write(this.first + ","); ב.. public class ASeq:Sequence private int difference; public ASeq(int first, int difference):base(first) this.difference = difference; public override int TheNElement(int n).2

30 30 return this.first + (n - ) * this.difference; public override void DisplayNElement(int n) Console.Write("The sequence elements"); for (int i = 0; i < n - ; i++) Console.Write(this.TheNElement(i + ) + ","); Console.WriteLine(this.TheNElement(n)); public int SumSeq(int n) int sum = 0; for (int i = ; i <= n; i++) sum += TheNElement(i); return sum; ג. אין צורך לעשות כל שינוי. הפעולה תכתב במחלקת Sequence כך: בשתי המחלקות היורשות אין צורך בכתיבה מחודשת, כל אחת תממש את חישוב האיבר לפי הפעולה הכתובה בה, מכיוון שכאן יופעל מנגנון הדריסה. public static char Bigger(int n, ASeq a, Gseq g) int s = a.sumseq(n); int s2 = g.sumseq(n); if (s > s2) return 'A'; if (s2 > s) return 'G'; return 'E'; ד.

31 3 שאלה 24: public class Vet private int id; private string name; private int vetek; עדכון הוותק של הוטרינר ב- // SetVetek() public void this.vetek++; public class Animal private int numr; private string name; private string sug; private int age; private int numvet; private Appointement[] lastvisits; עדכון הגיל של החיה בשנה//() SetAge public void this.age++; public Appointment[] GetLastVisits() return this.lastvisits; public class Appointement private string kodes; private int idvet;

32 32 public class Clinic private Vet[] veterinarians; private Animal[] animals; הפעולה מקבלת סוג חיה ומדפיסה דו"ח הכולל את פרטי כל החיות מסוג זה // public void AllAnimalsSameKind(string kind) int i = 0; while (i < 500 && animals[i]!= null) if (animals[i].gettype().equals(kind)) Console.WriteLine(animals[i].GetName() + "," + animals[i].getnumr() + "," + animals[i].getage()); i++; הפעולה מעדכנת בשנה את הותק של כל הוטרינרים // public void UpdateVetek() int i = 0; while (i < 0 && veterinarians[i]!= null) this.veterinarians[i].setvetek(); i++; הפעולה מעדכנת בשנה את גיל כל החיות // public void UpdateAgeAnimals() int i = 0; while (i < 50 && animals[i]!= null) this.animals[i].setage(); i++;

33 33 הפעולה מקבלת ת.ז. של וטרינר ומחזירה את שמו// public string GetVet(int id) int i = 0; while (i < 0 && veterinarians[i]!= null) if (veterinarians[i].getid() == id) return veterinarians[i].getname(); i++; return null; הפעולה מקבלת חיה, וטרינר מטפל וקוד טיפולים נוכחי ומוסיפה את // הביקור למאגר הביקורים הקיים של חיה זו // public void AddAppointment(Animal p, string t, Vet v) int i = 0; while (i < 50 &&!animals[i].equals(p)) i++; Appointment[] a = animals[i].getlastvisits(); i = 0; while (a[i]!= null) i++; a[i] = new Appointment(v, t);

1 שאלו : Together double x 5.0 int from 2 int to 6 One first Two second One n 5.0 Queue<One>q One n 4.0 One n 8.0 One n 16.

1 שאלו : Together double x 5.0 int from 2 int to 6 One first Two second One n 5.0 Queue<One>q One n 4.0 One n 8.0 One n 16. tg Together double x 5.0 int from 2 int to 6 One first Two second ב' פתרון בחינת הבגרות פרק א - One n 5.0 Queueq : Ï א. One n 4.0 One n 8.0 One n 6.0 One n 32.0 new Two ((from,to) n m i i

Διαβάστε περισσότερα

מבני נתונים מדעי המחשב שאלון: מועד ב' תשע"ו מדעי המחשב פתרון בחינת הבגרות. Java שאלה 1. blog.csit.org.

מבני נתונים מדעי המחשב שאלון: מועד ב' תשעו מדעי המחשב פתרון בחינת הבגרות. Java שאלה 1. blog.csit.org. 1 פתרון בחינת הבגרות פרק ראשון - )יסודות( Java שאלה 1 C# 6 Java שאלה 2 ב. פלט a a1 A A 4 + 5 = 9 4 + 5 = 9 n1 n2 n1 n2 8 + 9 = 17? 4? 5 4 8 5 9 3 :C# שאלה 2 פלט a a1 A A 4 + 5 = 9 4 + 5 = 9 n1 n2 n1 n2

Διαβάστε περισσότερα

מדעי המחשב. פרק ראשון :Java. blog.csit.org.il מדעי המחשב שאלון: עיצוב תכנה 1 מועד ב' תשע"ו פתרון בחינת הבגרות שאלה 1 פעולות עזר:

מדעי המחשב. פרק ראשון :Java. blog.csit.org.il מדעי המחשב שאלון: עיצוב תכנה 1 מועד ב' תשעו פתרון בחינת הבגרות שאלה 1 פעולות עזר: 1 פתרון בחינת הבגרות פרק ראשון :Java שאלה 1 פעולות עזר: 6 3 C#: שאלה 1 פעולות עזר: 4 5 a.length = 5 0 1 2 3 4 a 2 4 7 12 18 שאלה 2 א. (a,11) sod ערך k i i

Διαβάστε περισσότερα

ניתן לקבל אוטומט עבור השפה המבוקשת ע "י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות:

ניתן לקבל אוטומט עבור השפה המבוקשת ע י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות: שאלה 1 בנה אוטומט המקבל את שפת כל המילים מעל הא"ב {,,} המכילות לפחות פעם אחת את הרצף ומיד אחרי כל אות מופיע הרצף. ניתן לפרק את השפה לשתי שפות בסיס מעל הא"ב :{,,} שפת כל המילים המכילות לפחות פעם אחת את

Διαβάστε περισσότερα

חורף תש''ע פתרון בחינה סופית מועד א'

חורף תש''ע פתרון בחינה סופית מועד א' מד''ח 4 - חורף תש''ע פתרון בחינה סופית מועד א' ( u) u u u < < שאלה : נתונה המד''ח הבאה: א) ב) ג) לכל אחד מן התנאים המצורפים בדקו האם קיים פתרון יחיד אינסוף פתרונות או אף פתרון אם קיים פתרון אחד או יותר

Διαβάστε περισσότερα

2 שאלות )בחירה מ - 4( סה"כ 25 נקודות לכל שאלה 22 נקודות

2 שאלות )בחירה מ - 4( סהכ 25 נקודות לכל שאלה 22 נקודות מבחן 0225 פרטים כלליים מועד הבחינה: בכל זמן מספר השאלון: 1 משך הבחינה: 3 שעות חומר עזר בשימוש: הכל )ספרים ומחברות( המלצות: קרא המלצות לפני הבחינה ובדיקות אחרונות לפני מסירה )עמודים 7-9( מבנה השאלון פרק

Διαβάστε περισσότερα

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין

Διαβάστε περισσότερα

1 שאלון: תשס"ט { int listsize = size(list); int n = listsize / 3; if (listsize == 0 listsize % 3!

1 שאלון: תשסט { int listsize = size(list); int n = listsize / 3; if (listsize == 0 listsize % 3! ב' פתרון בחינת הבגרות פרק א - : Ï פתרון בשפת :Java ---// אחרת ו- "שקר" "רשימה משולשת" אם הרשימה היא "אמת" --- פעולה המחזירה ---// 3 רשימה משולשת היא רשימה לא ריקה שמספר איבריה מתחלק ב- --- ---// והאיברים

Διαβάστε περισσότερα

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( ) פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד a d U c M ( יהי b (R) a b e ל (R M ( (אין צורך להוכיח). מצאו קבוצה פורשת ל. U בדקו ש - U מהווה תת מרחב ש a d U M (R) Sp,,, c a e

Διαβάστε περισσότερα

אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה:

אוטומט סופי דטרמיניסטי מוגדר עי החמישייה: 2 תרגול אוטומט סופי דטרמיניסטי אוטומטים ושפות פורמליות בר אילן תשעז 2017 עקיבא קליינרמן הגדרה אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה: (,, 0,, ) כאשר: א= "ב שפת הקלט = קבוצה סופית לא ריקה של מצבים מצב

Διαβάστε περισσότερα

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשעד פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה

Διαβάστε περισσότερα

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur פתרון תרגיל --- 5 מרחבים וקטורים דוגמאות למרחבים וקטורים שונים מושגים בסיסיים: תת מרחב צירוף לינארי x+ y+ z = : R ) בכל סעיף בדקו האם הוא תת מרחב של א } = z = {( x y z) R x+ y+ הוא אוסף הפתרונות של המערכת

Διαβάστε περισσότερα

1 שאלון: תש"ע

1 שאלון: תשע 1 ב' פתרון בחינת הבגרות פרק א - :1 Ï פתרון בשפת :Jv מציאת הזוג הראשון במחסנית 1 הגדול מהזוג המקסימאלי במחסנית 2. אם הוא גדול מהזוג בעל הסכום המקסימאלי, הוא בהכרח גדול מסכום כל הזוגות הסמוכים במחסנית 2.

Διαβάστε περισσότερα

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 6 נושא: תחשיב הפסוקים: הפונקציה,val גרירה לוגית, שקילות לוגית 1. כיתבו טבלאות אמת לפסוקים הבאים: (ג) r)).((p q) r) ((p r) (q p q r (p

Διαβάστε περισσότερα

{ : Halts on every input}

{ : Halts on every input} אוטומטים - תרגול 13: רדוקציות, משפט רייס וחזרה למבחן E תכונה תכונה הינה אוסף השפות מעל.(property המקיימות תנאים מסוימים (תכונה במובן של Σ תכונה לא טריביאלית: תכונה היא תכונה לא טריוויאלית אם היא מקיימת:.

Διαβάστε περισσότερα

חלק 1 כלומר, פונקציה. האוטומט. ) אותיות, אלפבית, א"ב (.

חלק 1 כלומר, פונקציה. האוטומט. ) אותיות, אלפבית, אב (. תוכן עניינים תקציר מודלים חישוביים ערך יגאל הינדי 2 2 2 3 4 6 6 6 7 7 8 8 9 11 13 14 14 15 16 17 17 18 19 20 20 20 20 - האוטומט הסופי - אוטומט סופי דטרמניסטי 2 פרק - מושגים ומילות מפתח 2.1 - הגדרת אוטומט

Διαβάστε περισσότερα

Logic and Set Theory for Comp. Sci.

Logic and Set Theory for Comp. Sci. 234293 - Logic and Set Theory for Comp. Sci. Spring 2008 Moed A Final [partial] solution Slava Koyfman, 2009. 1 שאלה 1 לא נכון. דוגמא נגדית מפורשת: יהיו } 2,(p 1 p 2 ) (p 2 p 1 ).Σ 2 = {p 2 p 1 },Σ 1 =

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשעו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים: לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( 2016 2015 )............................................................................................................. חלק ראשון: שאלות שאינן להגשה.1

Διαβάστε περισσότερα

2 יח"ל ) השלמה ל - 5 יח"ל) (50 נקודות) מעבר חוקי, ו-'שקר' אחרת.

2 יחל ) השלמה ל - 5 יחל) (50 נקודות) מעבר חוקי, ו-'שקר' אחרת. 1 6 מאי, 2004 מועד הבחינה: 2 יח"ל ) השלמה ל - 5 יח"ל) פרק ראשון (50 נקודות) :1 Ï (מקור: שירלי רוזנברג כהן) נגדיר טיפוס נתונים חדש בשם תלת-מחסנית, כמבנה המכיל 3 מחסניות S3. S2, S1, נגדיר את הפעולות הבאות

Διαβάστε περισσότερα

gcd 24,15 = 3 3 =

gcd 24,15 = 3 3 = מחלק משותף מקסימאלי משפט אם gcd a, b = g Z אז קיימים x, y שלמים כך ש.g = xa + yb במלים אחרות, אם ה כך ש.gcd a, b = xa + yb gcd,a b של שני משתנים הוא מספר שלם, אז קיימים שני מקדמים שלמים כאלה gcd 4,15 =

Διαβάστε περισσότερα

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשעב זהויות טריגונומטריות תרגול חזרה זהויות טריגונומטריות si π α) si α π α) α si π π ), Z si α π α) t α cot π α) t α si α cot α α α si α si α + α siα ± β) si α β ± α si β α ± β) α β si α si β si α si α α α α si α si α α α + α si

Διαβάστε περισσότερα

תרגול פעולות מומצאות 3

תרגול פעולות מומצאות 3 תרגול פעולות מומצאות. ^ = ^ הפעולה החשבונית סמן את הביטוי הגדול ביותר:. ^ ^ ^ π ^ הפעולה החשבונית c) #(,, מחשבת את ממוצע המספרים בסוגריים.. מהי תוצאת הפעולה (.7,.0,.)#....0 הפעולה החשבונית משמשת חנות גדולה

Διαβάστε περισσότερα

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים מבוא: קבוצות מיוחדות של מספרים ממשיים קבוצות של מספרים ממשיים צעד ראשון להצטיינות קבוצה היא אוסף של עצמים הנקראים האיברים של הקבוצה אנו נתמקד בקבוצות של מספרים ממשיים בדרך כלל מסמנים את הקבוצה באות גדולה

Διαβάστε περισσότερα

מודלים חישוביים פתרון תרגיל 5

מודלים חישוביים פתרון תרגיל 5 מודלים חישוביים פתרון תרגיל 5 כתוב אוטומט דטרמיניסטי לשפות הבאות מעל הא"ב.Σ={,} א. *Σ. q, ב. q, ג. {ε}, q, q ד. } = 3 {w w mod, q, q,, ה. ''} {w w does not contin the sustring q 4 q 3 q q כתוב אוטומט דטרמיניסטי

Διαβάστε περισσότερα

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם תזכורת: פולינום ממעלה או מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה p f ( m i ) = p m1 m5 תרגיל: נתון עבור x] f ( x) Z[ ראשוני שקיימים 5 מספרים שלמים שונים שעבורם p x f ( x ) f ( ) = נניח בשלילה ש הוא

Διαβάστε περισσότερα

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד. חידה לחימום ( M ש- N > (כך מספרים טבעיים Mו- N שappleי appleתוappleים בעלי אותה הזוגיות (שappleיהם זוגיים או שappleיהם אי - זוגיים). המספרים הטבעיים מ- Mעד Nמסודרים בשורה, ושappleי שחקappleים משחקים במשחק.

Διαβάστε περισσότερα

תרגיל 13 משפטי רול ולגראנז הערות

תרגיל 13 משפטי רול ולגראנז הערות Mthemtics, Summer 20 / Exercise 3 Notes תרגיל 3 משפטי רול ולגראנז הערות. האם קיים פתרון למשוואה + x e x = בקרן )?(0, (רמז: ביחרו x,f (x) = e x הניחו שיש פתרון בקרן, השתמשו במשפט רול והגיעו לסתירה!) פתרון

Διαβάστε περισσότερα

סדרות - תרגילים הכנה לבגרות 5 יח"ל

סדרות - תרגילים הכנה לבגרות 5 יחל סדרות - הכנה לבגרות 5 יח"ל 5 יח"ל סדרות - הכנה לבגרות איברים ראשונים בסדרה) ) S מסמן סכום תרגיל S0 S 5, S6 בסדרה הנדסית נתון: 89 מצא את האיבר הראשון של הסדרה תרגיל גוף ראשון, בשנייה הראשונה לתנועתו עבר

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשעו (2016) לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)............................................................................................................. חלק ראשון: שאלות שאינן להגשה 1. עבור

Διαβάστε περισσότερα

אלגברה ליניארית (1) - תרגיל 6

אלגברה ליניארית (1) - תרגיל 6 אלגברה ליניארית (1) - תרגיל 6 התרגיל להגשה עד יום חמישי (12.12.14) בשעה 16:00 בתא המתאים בבניין מתמטיקה. נא לא לשכוח פתקית סימון. 1. עבור כל אחד מתת המרחבים הבאים, מצאו בסיס ואת המימד: (א) 3)} (0, 6, 3,,

Διαβάστε περισσότερα

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת)

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) מכונת טיורינג לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) דטרמיניסטי שפות חופשיות הקשר (שפת ראי מסומנת) סגירות:איחוד,שרשור,היפוך, חיתוך עם שפה רגולרית אוטומט סופי דטרמיניסטי שפות רגולריות סגירות:חיתוך,איחוד,שרשור,משלים,היפוך

Διαβάστε περισσότερα

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 1. מצאו צורה דיסיונקטיבית נורמלית קנונית לפסוקים הבאים: (ג)

Διαβάστε περισσότερα

שאלה 1 V AB פתרון AB 30 R3 20 R

שאלה 1 V AB פתרון AB 30 R3 20 R תרגילים בתורת החשמל כתה יג שאלה א. חשב את המתח AB לפי משפט מילמן. חשב את הזרם בכל נגד לפי המתח שקיבלת בסעיף א. A 60 0 8 0 0.A B 8 60 0 0. AB 5. v 60 AB 0 0 ( 5.) 0.55A 60 א. פתרון 0 AB 0 ( 5.) 0 0.776A

Διαβάστε περισσότερα

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

( )( ) ( ) f : B C היא פונקציה חחע ועל מכיוון שהיא מוגדרת עי. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חחע אז ועל פי הגדרת הרצאה 7 יהיו :, : C פונקציות, אז : C חח"ע ו חח"ע,אז א אם על ו על,אז ב אם ( על פי הגדרת ההרכבה )( x ) = ( )( x x, כךש ) x א יהיו = ( x ) x חח"ע נקבל ש מכיוון ש חח"ע נקבל ש מכיוון ש ( b) = c כך ש b ( ) (

Διαβάστε περισσότερα

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx דפי נוסחאות I גבולות נאמר כי כך שלכל δ קיים > ε לכל > lim ( ) L המקיים ( ) מתקיים L < ε הגדרת הגבול : < < δ lim ( ) lim ורק ( ) משפט הכריך (סנדוויץ') : תהיינה ( ( ( )g ( )h פונקציות המוגדרות בסביבה נקובה

Διαβάστε περισσότερα

אוטומטים- תרגול 8 שפות חסרות הקשר

אוטומטים- תרגול 8 שפות חסרות הקשר אוטומטים- תרגול 8 שפות חסרות הקשר דקדוק חסר הקשר דקדוק חסר הקשר הנו רביעיה > S

Διαβάστε περισσότερα

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin( א. s in(0 c os(0 s in(60 c os(0 s in(0 c os(0 s in(0 c os(0 s in(0 0 s in(70 מתאים לזהות של cos(θsin(φ : s in(θ φ s in(θcos(φ sin ( π cot ( π cos ( 4πtan ( 4π sin ( π cos ( π sin ( π cos ( 4π sin ( 4π

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 13

מתמטיקה בדידה תרגול מס' 13 מתמטיקה בדידה תרגול מס' 13 נושאי התרגול: תורת הגרפים. 1 מושגים בסיסיים נדון בגרפים מכוונים. הגדרה 1.1 גרף מכוון הוא זוג סדור E G =,V כך ש V ו E. V הגרף נקרא פשוט אם E יחס אי רפלקסיבי. כלומר, גם ללא לולאות.

Διαβάστε περισσότερα

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשעד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, 635865 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1. סדרה חשבונית שיש בה n איברים...2 3. האיבר

Διαβάστε περισσότερα

גבול ורציפות של פונקציה סקלרית שאלות נוספות

גבול ורציפות של פונקציה סקלרית שאלות נוספות 08 005 שאלה גבול ורציפות של פונקציה סקלרית שאלות נוספות f ( ) f ( ) g( ) f ( ) ו- lim f ( ) ו- ( ) (00) lim ( ) (00) f ( בסביבת הנקודה (00) ) נתון: מצאו ) lim g( ( ) (00) ננסה להיעזר בכלל הסנדביץ לשם כך

Διαβάστε περισσότερα

3-9 - a < x < a, a < x < a

3-9 - a < x < a, a < x < a 1 עמוד 59, שאלהמס', 4 סעיףג' תיקוני הקלדה שאלון 806 צריך להיות : ג. מצאאתמקומושלאיברבסדרהזו, שקטןב- 5 מסכוםכלהאיבריםשלפניו. עמוד 147, שאלהמס' 45 ישלמחוקאתהשאלה (מופיעהפעמיים) עמוד 184, שאלהמס', 9 סעיףב',תשובה.

Διαβάστε περισσότερα

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. א{ www.sikumuna.co.il מהי קבוצה? קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. קבוצה היא מושג יסודי במתמטיקה.התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם. העצמים הנמצאים בקבוצה הם איברי הקבוצה.

Διαβάστε περισσότερα

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m Observabiliy, Conrollabiliy תרגול 6 אובזרווביליות אם בכל רגע ניתן לשחזר את ( (ומכאן גם את המצב לאורך זמן, מתוך ידיעת הכניסה והיציאה עד לרגע, וזה עבור כל צמד כניסה יציאה, אז המערכת אובזרוובילית. קונטרולביליות

Διαβάστε περισσότερα

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד סמסטר: א' מועד: א' תאריך: יום ה' 0100004 שעה: 04:00 משך הבחינה: שלוש שעות חומר עזר: אין בבחינה שני פרקים בפרק הראשון 8 שאלות אמריקאיות ולכל אחת מהן מוצעות

Διαβάστε περισσότερα

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. 16 במאי 2010 נסמן את מחלקת הצמידות של איבר בחבורה G על ידי } g.[] { y : g G, y g כעת נניח כי [y] [] עבור שני איברים, y G ונוכיח כי [y].[] מאחר והחיתוך

Διαβάστε περισσότερα

"קשר-חם" : לקידום שיפור וריענון החינוך המתמטי

קשר-חם : לקידום שיפור וריענון החינוך המתמטי הטכניון - מכון טכנולוגי לישראל המחלקה להוראת הטכנולוגיה והמדעים "קשר-חם" : לקידום שיפור וריענון החינוך המתמטי נושא: חקירת משוואות פרמטריות בעזרת גרפים הוכן ע"י: אביבה ברש. תקציר: בחומר מוצגת דרך לחקירת

Διαβάστε περισσότερα

תאריך עדכון אחרון: 27 בפברואר ניתוח לשיעורין analysis) (amortized הוא טכניקה לניתוח זמן ריצה לסדרת פעולות, אשר מאפשר קבלת

תאריך עדכון אחרון: 27 בפברואר ניתוח לשיעורין analysis) (amortized הוא טכניקה לניתוח זמן ריצה לסדרת פעולות, אשר מאפשר קבלת תרגול 3 ניתוח לשיעורין תאריך עדכון אחרון: 27 בפברואר 2011. ניתוח לשיעורין analysis) (amortized הוא טכניקה לניתוח זמן ריצה לסדרת פעולות, אשר מאפשר קבלת חסמי זמן ריצה נמוכים יותר מאשר חסמים המתקבלים כאשר

Διαβάστε περισσότερα

תרגול מס' 6 פתרון מערכת משוואות ליניארית

תרגול מס' 6 פתרון מערכת משוואות ליניארית אנליזה נומרית 0211 סתיו - תרגול מס' 6 פתרון מערכת משוואות ליניארית נרצה לפתור את מערכת המשוואות יהי פתרון מקורב של נגדיר את השארית: ואת השגיאה: שאלה 1: נתונה מערכת המשוואות הבאה: הערך את השגיאה היחסית

Διαβάστε περισσότερα

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז פתרון תרגיל בית 6 מבוא לתורת החבורות 88-211 סמסטר א תשע ז הוראות בהגשת הפתרון יש לרשום שם מלא, מספר ת ז ומספר קבוצת תרגול. תאריך הגשת התרגיל הוא בתרגול בשבוע המתחיל בתאריך ג טבת ה תשע ז, 1.1.2017. שאלות

Διαβάστε περισσότερα

קובץ שאלות ופתרונות של שאלות ממבחנים מנושאים שונים

קובץ שאלות ופתרונות של שאלות ממבחנים מנושאים שונים אוטומטים ושפות פורמליות 236353 סמסטר אביב 2016 קובץ שאלות ופתרונות של שאלות ממבחנים מנושאים שונים קובץ ונערך ע"י אורן אשכנזי ומיכל הורוביץ תכונות סגור ודקדוקים רגולריים. עבור שפות L 1, L 2 מעל א"ב Σ נגדיר

Διαβάστε περισσότερα

מבחן במודלים חישוביים + פתרון מוצע

מבחן במודלים חישוביים + פתרון מוצע מבחן במודלים חישוביים + פתרון מוצע סמסטר ב' התשס"ט, מועד ב' תאריך: 1.9.2009 מרצים: ד"ר מירי פרייזלר, פרופ' בני שור מתרגלים: יהונתן ברנט, רני הוד מומלץ לקרוא את כל ההנחיות והשאלות בתחילת המבחן, לפני תחילת

Διαβάστε περισσότερα

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת)

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) אוטומט מחסנית דטרמיניסטי שפות חופשיות הקשר (שפת ראי מסומנת) סגירות:איחוד,שרשור,היפוך, חיתוך עם שפה רגולרית אוטומט סופי דטרמיניסטי

Διαβάστε περισσότερα

םינותנ ינבמ 3 ליגרתמ תולאשל המוד תולאש טסל תונורתפ תולאשה

םינותנ ינבמ 3 ליגרתמ תולאשל המוד תולאש טסל תונורתפ תולאשה מבני נתונים פתרונות לסט שאלות דומה לשאלות מתרגיל 3 השאלות נתונה רשימה משורשרת L המכילה n מספרים שלמים חיוביים מתחום לא חסום כאשר 1 k n = 2 עבור > 0 k כלשהו. נניח שהמספרים ברשימה מקיימים את התכונה הבאה:

Διαβάστε περισσότερα

הגדרה: מצבים k -בני-הפרדה

הגדרה: מצבים k -בני-הפרדה פרק 12: שקילות מצבים וצמצום מכונות לעי תים קרובות, תכנון המכונה מתוך סיפור המעשה מביא להגדרת מצבים יתי רים states) :(redundant הפונקציה שהם ממלאים ניתנת להשגה באמצעו ת מצבים א חרים. כיוון שמספר רכיבי הזיכרון

Διαβάστε περισσότερα

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r ל' ' פונקציות פרימיטיביות רקורסיביות חישוביות הרצאה 4 האם כל פונקציה מלאה היא פרימיטיבית רקורסיבית? לא נראה שתי הוכחות: פונקציות רקורסיביות (המשך) זיהוי שפות ע''י מכונות טיורינג הוכחה קיומית: קיימות פונקציות

Διαβάστε περισσότερα

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק יום א 14 : 00 15 : 00 בניין 605 חדר 103 http://u.cs.biu.ac.il/ brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק 29/11/2017 1 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 2

מתמטיקה בדידה תרגול מס' 2 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: כמתים והצרנות. משתנים קשורים וחופשיים. 1 כמתים והצרנות בתרגול הקודם עסקנו בתחשיב הפסוקים, שבו הנוסחאות שלנו היו מורכבות מפסוקים יסודיים (אשר קיבלו ערך T או F) וקשרים.

Διαβάστε περισσότερα

תרגיל 7 פונקציות טריגונומטריות הערות

תרגיל 7 פונקציות טריגונומטריות הערות תרגיל 7 פונקציות טריגונומטריות הערות. פתרו את המשוואות הבאות. לא מספיק למצוא פתרון אחד יש למצוא את כולם! sin ( π (א) = x sin (ב) = x cos (ג) = x tan (ד) = x) (ה) = tan x (ו) = 0 x sin (x) + sin (ז) 3 =

Διαβάστε περισσότερα

Συλλογές, Στοίβες και Ουρές

Συλλογές, Στοίβες και Ουρές Συλλογές, Στοίβες και Ουρές Σε πολλές εφαρμογές μας αρκεί η αναπαράσταση ενός δυναμικού συνόλου με μια δομή δεδομένων η οποία δεν υποστηρίζει την αναζήτηση οποιουδήποτε στοιχείου. Συλλογή (bag) : Επιστρέφει

Διαβάστε περισσότερα

תרגול 8: מטלאב לולאות

תרגול 8: מטלאב לולאות מבוא למחשב בשפת Matlab : מטלאב לולאות נכתב על-ידי רמי כהן,אולג רוכלנקו, לימור ליבוביץ ואיתן אביאור כל הזכויות שמורות לטכניון מכון טכנולוגי לישראל לולאת while a=input('enter a positive number:'); קליטת

Διαβάστε περισσότερα

ל הזכויות שמורות לדפנה וסטרייך

ל הזכויות שמורות לדפנה וסטרייך מרובע שכל זוג צלעות נגדיות בו שוות זו לזו נקרא h באיור שלעיל, הצלעות ו- הן צלעות נגדיות ומתקיים, וכן הצלעות ו- הן צלעות נגדיות ומתקיים. תכונות ה כל שתי זוויות נגדיות שוות זו לזו. 1. כל שתי צלעות נגדיות

Διαβάστε περισσότερα

תכנון אלגוריתמים 2016 עבודה 1 שאלה 1 פתרון נתונות שתי בעיות. יש למצוא: אורך מסלול קצר ביותר המתחיל באחד מן הקודקודים s 1,..., s k ומסתיים ב t.

תכנון אלגוריתמים 2016 עבודה 1 שאלה 1 פתרון נתונות שתי בעיות. יש למצוא: אורך מסלול קצר ביותר המתחיל באחד מן הקודקודים s 1,..., s k ומסתיים ב t. תכנון אלגוריתמים 2016 עבודה 1 פתרון שאלה 1 נזכר כי בגרף (E G, =,V) עבור שני קודקודים d(u, (v,u, v הוא אורך מסלול קצר ביותר מ u ל v. אם אין מסלול מ u ל.d(u, v) =,v נתונות שתי בעיות. בעיה א' מופע: גרף מכוון

Διαβάστε περισσότερα

s ק"מ קמ"ש מ - A A מ - מ - 5 p vp v=

s קמ קמש מ - A A מ - מ - 5 p vp v= את זמני הליכת הולכי הרגל עד הפגישות שלהם עם רוכב האופניים (שעות). בגרות ע מאי 0 מועד קיץ מבוטל שאלון 5006 מהירות - v קמ"ש t, א. () נסמן ב- p נכניס את הנתונים לטבלה מתאימה: רוכב אופניים עד הפגישה זמן -

Διαβάστε περισσότερα

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת)

מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) מכונת טיורינג אוטומט מחסנית לא דטרמיניסטי שפות חופשיות הקשר (שפת ראי לא מסומנת) אוטומט מחסנית דטרמיניסטי שפות חופשיות הקשר (שפת ראי מסומנת) סגירות:איחוד,שרשור,היפוך, חיתוך עם שפה רגולרית אוטומט סופי דטרמיניסטי

Διαβάστε περισσότερα

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE סמסטר אביב תשס"ו מס' סטודנט:

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE סמסטר אביב תשסו מס' סטודנט: TECHNION ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב מבני נתונים 234218 1 מבחן מועד ב ' סמסטר אביב תשס"ו מרצה: אהוד ריבלין מתרגלים: איתן

Διαβάστε περισσότερα

(2) מיונים השאלות. .0 left right n 1. void Sort(int A[], int left, int right) { int p;

(2) מיונים השאלות. .0 left right n 1. void Sort(int A[], int left, int right) { int p; מבני נתונים פתרונות לסט שאלות דומה לשאלות בנושאים () זמני ריצה של פונקציות רקורסיביות () מיונים השאלות פתרו את נוסחאות הנסיגה בסעיפים א-ג על ידי הצבה חוזרת T() כאשר = T() = T( ) + log T() = T() כאשר =

Διαβάστε περισσότερα

כלליים זמן: S מחסנית, top(s) ראש המחסנית. (Depth First Search) For each unmarked DFS(v) / BFS(v) רקורסיבי. אלגוריתם :BFS

כלליים זמן: S מחסנית, top(s) ראש המחסנית. (Depth First Search) For each unmarked DFS(v) / BFS(v) רקורסיבי. אלגוריתם :BFS כלליים שיטות חיפוש בבגרפים שיטה 1: חיפוש לרוחב S (readth irst Search) זמן: ) Θ( V + הרעיון: שימוש בתור.O שיטה 2: חיפוש לעומק S (epth irst Search) Θ( V + ) יהי =(V,) גרף כלשהו, V הוא צומת התחלת החיפוש.

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 2

אלגברה ליניארית 1 א' פתרון 2 אלגברה ליניארית א' פתרון 3 4 3 3 7 9 3. נשתמש בכתיבה בעזרת מטריצה בכל הסעיפים. א. פתרון: 3 3 3 3 3 3 9 אז ישנו פתרון יחיד והוא = 3.x =, x =, x 3 3 הערה: אפשר גם לפתור בדרך קצת יותר ארוכה, אבל מבלי להתעסק

Διαβάστε περισσότερα

שפות פורמאליות אוטומטים

שפות פורמאליות אוטומטים הנושאים שנעבור שפות פורמאליות אוטומטים שפות פורמאליות מכונות/אוטומטים דקדוקים תורת הקומפילציה אהרון נץ מבוסס על השקפים של עומר ביהם שמבוססים על שקפי הרצאה מהקורס אוטומטים ושפות פורמאליות בטכניון, פרופ'

Διαβάστε περισσότερα

הרצאה נושאי הקורס 0.2 א"ב ומילים 0.3 שפות 1. מהו חישוב? 2. מהו מחשב? 3. מהו אלגוריתם? 4. מה ניתן לחשב? מה לא ניתן?

הרצאה נושאי הקורס 0.2 אב ומילים 0.3 שפות 1. מהו חישוב? 2. מהו מחשב? 3. מהו אלגוריתם? 4. מה ניתן לחשב? מה לא ניתן? הרצאה 1 0.1 נושאי הקורס 1. מהו חישוב? 2. מהו מחשב? 3. מהו אלגוריתם? 4. מה ניתן לחשב? מה לא ניתן? בקורס זה נעסוק בבעיות חישוב הנקראות בעיות הכרעה. בהינתן קלט, אנו נבצע "חישוב" ובסופו נחזיר תשובה האם הקלט

Διαβάστε περισσότερα

אלגברה מודרנית פתרון שיעורי בית 6

אלגברה מודרנית פתרון שיעורי בית 6 אלגברה מודרנית פתרון שיעורי בית 6 15 בינואר 016 1. יהי F שדה ויהיו q(x) p(x), שני פולינומים מעל F. מצאו פולינומים R(x) S(x), כך שמתקיים R(x),p(x) = S(x)q(x) + כאשר deg(q),deg(r) < עבור המקרים הבאים: (תזכורת:

Διαβάστε περισσότερα

השאלות ידי מצביעים לילדים.

השאלות ידי מצביעים לילדים. מבני נתונים פתרונות לסט שאלות דומה לשאלות מתרגיל 4 השאלות 1. כתבו פונקציה לא רקורסיבית שמדפיסה ב- Postorder את כל הנתונים המאוכסנים בעץ בינארי T. הפונקציה אינה צריכה להיות תלויה במימוש העץ T. הניחו שנתון

Διαβάστε περισσότερα

אוסף שאלות מס. 3 פתרונות

אוסף שאלות מס. 3 פתרונות אוסף שאלות מס. 3 פתרונות שאלה מצאו את תחום ההגדרה D R של כל אחת מהפונקציות הבאות, ושרטטו אותו במישור. f (x, y) = x + y x y, f 3 (x, y) = f (x, y) = xy x x + y, f 4(x, y) = xy x y f 5 (x, y) = 4x + 9y 36,

Διαβάστε περισσότερα

co ארזים 3 במרץ 2016

co ארזים 3 במרץ 2016 אלגברה לינארית 2 א co ארזים 3 במרץ 2016 ניזכר שהגדרנו ווקטורים וערכים עצמיים של מטריצות, והראינו כי זהו מקרה פרטי של ההגדרות עבור טרנספורמציות. לכן כל המשפטים והמסקנות שהוכחנו לגבי טרנספורמציות תקפים גם

Διαβάστε περισσότερα

ביטויים רגולריים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) הרצאה 5

ביטויים רגולריים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) הרצאה 5 הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) ביטויים רגולריים הרצאה 5 המצגת מבוססת על ספרם של פרופ' נסים פרנסיז ופרופ' שמואל זקס, "אוטומטים ושפות פורמליות", האוניברסיטה הפתוחה, 1987. גרסה ראשונה

Διαβάστε περισσότερα

מודלים חישוביים, חישוביות וסיבוכיות (חישוביות) 67521

מודלים חישוביים, חישוביות וסיבוכיות (חישוביות) 67521 מודלים חישוביים, חישוביות וסיבוכיות (חישוביות) 67521 22 ביוני 2012 מרצה: גיא קינדלר מתרגל: שאול אלמגור "...one TM to rule them all..." באדיבות בן מאירי איני לוקחת אחריות על מה שכתוב כאן, so tread lightly

Διαβάστε περισσότερα

מודלים חישוביים תרגולמס 5

מודלים חישוביים תרגולמס 5 מודלים חישוביים תרגולמס 5 30 במרץ 2016 נושאי התרגול: דקדוקים חסרי הקשר. למת הניפוח לשפות חסרות הקשר. פעולות סגור לשפות חסרות הקשר. 1 דקדוקים חסרי הקשר נזכיר כי דקדוק חסר הקשר הוא רביעיה =(V,Σ,R,S) G, כך

Διαβάστε περισσότερα

מבני נתונים מבחן מועד ב' סמסטר חורף תשס"ו

מבני נתונים מבחן מועד ב' סמסטר חורף תשסו TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון - מכון טכנולוגי לישראל הפקולטה למדעי המחשב מרצים: רן אל-יניב, נאדר בשותי מבני נתונים 234218-1 מבחן מועד ב' סמסטר חורף תשס"ו

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 5

מתמטיקה בדידה תרגול מס' 5 מתמטיקה בדידה תרגול מס' 5 נושאי התרגול: פונקציות 1 פונקציות הגדרה 1.1 פונקציה f מ A (התחום) ל B (הטווח) היא קבוצה חלקית של A B המקיימת שלכל a A קיים b B יחיד כך ש. a, b f a A.f (a) = ιb B. a, b f או, בסימון

Διαβάστε περισσότερα

שפות פורמאליות אוטומטים

שפות פורמאליות אוטומטים שפות פורמאליות אוטומטים תורת הקומפילציה אהרון נץ מבוסס על השקפים של עומר ביהם שמבוססים על שקפי הרצאה מהקורס אוטומטים ושפות פורמאליות בטכניון, פרופ' שמואל זקס 1 הנושאים שנעבור שפות פורמאליות מכונות/אוטומטים

Διαβάστε περισσότερα

מבוא לרשתות - תרגול מס 5 תורת התורים

מבוא לרשתות - תרגול מס 5 תורת התורים מ( מבוא לרשתות - תרגול מס 5 תורת התורים M / M / תאור המערכת: תור שרת שירות פואסוני הגעה פואסונית הערות: במערכת M/M/ יש חוצץ אינסופי ולכן יכולים להיות בה אינסוף לקוחות, כאשר מקבל שירות והשאר ממתינים. קצב

Διαβάστε περισσότερα

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 5 שנכתב על-ידי מאיר בכור. חקירת משוואה מהמעלה הראשונה עם נעלם אחד = הצורה הנורמלית של המשוואה, אליה יש להגיע, היא: b

Διαβάστε περισσότερα

Regular Expressions (RE)

Regular Expressions (RE) Regular Expressions (RE) ביטויים רגולריים עד כה דנו במספר מודלים חישוביים להצגת (או ליצור) שפות רגולריות וראינו שכל המודלים האלה הם שקולים מבחינת כוח החישובי שלהם. בסעיף זה נראה עוד דרך להצגת (או ליצור)

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 12

מתמטיקה בדידה תרגול מס' 12 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: נוסחאות נסיגה נוסחאות נסיגה באמצעות פונקציות יוצרות נוסחאות נסיגה באמצעות פולינום אופייני נוסחאות נסיגה לעתים מפורש לבעיה קומבינטורית אינו ידוע, אך יחסית קל להגיע

Διαβάστε περισσότερα

TECHNION Israel Institute of Technology, Faculty of Mechanical Engineering מבוא לבקרה (034040) גליון תרגילי בית מס 5 ציור 1: דיאגרמת הבלוקים

TECHNION Israel Institute of Technology, Faculty of Mechanical Engineering מבוא לבקרה (034040) גליון תרגילי בית מס 5 ציור 1: דיאגרמת הבלוקים TECHNION Iael Intitute of Technology, Faculty of Mechanical Engineeing מבוא לבקרה (034040) גליון תרגילי בית מס 5 d e C() y P() - ציור : דיאגרמת הבלוקים? d(t) ו 0 (t) (t),c() 3 +,P() + ( )(+3) שאלה מס נתונה

Διαβάστε περισσότερα

מודלים חישוביים כריעות R זוהי מחלקת השפות הכריעות. מחלקה זו סגורה תחת פעולת המשלים. רדוקציה בעיית ההכרעה רדוקציית מיפוי.

מודלים חישוביים כריעות R זוהי מחלקת השפות הכריעות. מחלקה זו סגורה תחת פעולת המשלים. רדוקציה בעיית ההכרעה רדוקציית מיפוי. מודלים חישוביים סיכום כריעות טענה: לא כל הפונקציות חשיבות. מספר התוכניות הוא בן מניה. כל תוכנית מגדירה פונקציה מספרית אחת לכל היותר. לכן מספר האלגוריתמים הוא בן מניה בעוד שמספר הפונקציות המספריות אינו

Διαβάστε περισσότερα

בעיות חשיבות: :(State transition system) STS מושגים: רדוקציה: f אינה חשיבה g אינה חשיבה; בבעיות הכרעה: f לא כריעה g לא כריעה.

בעיות חשיבות: :(State transition system) STS מושגים: רדוקציה: f אינה חשיבה g אינה חשיבה; בבעיות הכרעה: f לא כריעה g לא כריעה. 1 סיכומים למבחן בקורס מודלים חישוביים סמסטר א' 2008-9 (פרופ' נחום דרשוביץ) חלק ראשון: חישוביות בעיות חשיבות: דוגמאות לפוקנציות לא חשיבות: פונקציה תיאור הערות, הבונה החרוץ בהינתן מספר n, מה הוא הפלט הגדול

Διαβάστε περισσότερα

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות אלגוריתמים חמדניים אלגוריתם חמדן, הוא כזה שבכל צעד עושה את הבחירה הטובה ביותר האפשרית, ולא מתחרט בהמשך גישה זו נראית פשטנית מדי, וכמובן שלא תמיד היא נכונה, אך במקרים רבים היא מוצאת פתרון אופטימאלי בתרגול

Διαβάστε περισσότερα

חשבון אינפיניטסימלי 1

חשבון אינפיניטסימלי 1 חשבון אינפיניטסימלי 1 יובל קפלן סיכום הרצאות פרופ צליל סלע בקורס "חשבון אינפיניטסימלי 1" (80131) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו.

Διαβάστε περισσότερα

אוטומטים ושפות פורמליות תרגולים

אוטומטים ושפות פורמליות תרגולים אוטומטים ושפות פורמליות תרגולים מבוסס על תרגולים של מר גולדגביכט עומר, אוניברסיטת בר אילן 2012. שיעור 1 הגדרות: א"ב: אוסף סופי ולא ריק של סימנים/אותיות/תווים. נסמן אותו באות. דוגמאות: 9},... 1,,{0, {א,..,.

Διαβάστε περισσότερα

מבוא לרשתות - תרגול מס 5 תורת התורים

מבוא לרשתות - תרגול מס 5 תורת התורים מבוא לרשתות - תרגול מס 5 תורת התורים תאור המערכת: תור / M M / ( ) שרת שירות פואסוני הגעה פואסונית הערות: במערכת M/M/ יש חוצץ אינסופי ולכן יכולים להיות בה אינסוף לקוחות, כאשר מקבל שירות והשאר ממתינים. זמן

Διαβάστε περισσότερα

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1 1 טורים כלליים 1. 1 התכנסות בהחלט מתכנס. מתכנס בהחלט אם n a הגדרה.1 אומרים שהטור a n משפט 1. טור מתכנס בהחלט הוא מתכנס. הוכחה. נוכיח עם קריטריון קושי. יהי אפסילון גדול מ- 0, אז אנחנו יודעים ש- n N n>m>n

Διαβάστε περισσότερα

Σι θα δούμε σε αυτό το μάθημα;

Σι θα δούμε σε αυτό το μάθημα; Σι θα δούμε σε αυτό το μάθημα; Γήισζε, αξρηθνπνίεζε θαη ρξήζε κεηαβιεηώλ πηλάθσλ (arrays) Γήισζε, αξρηθνπνίεζε θαη ρξήζε κεηαβιεηώλ ζπιινγώλ (collections) Σι είναι ένας πίνακας (array) Έλαο πίλαθαο είλαη

Διαβάστε περισσότερα

x a x n D f (iii) x n a ,Cauchy

x a x n D f (iii) x n a ,Cauchy גבולות ורציפות גבול של פונקציה בנקודה הגדרה: קבוצה אשר מכילה קטע פתוח שמכיל את a תקרא סביבה של a. קבוצה אשר מכילה קטע פתוח שמכיל את a אך לא מכילה את a עצמו תקרא סביבה מנוקבת של a. יהו a R ו f פונקציה מוגדרת

Διαβάστε περισσότερα

קיום ויחידות פתרונות למשוואות דיפרנציאליות

קיום ויחידות פתרונות למשוואות דיפרנציאליות קיום ויחידות פתרונות למשוואות דיפרנציאליות 1 מוטיבציה למשפט הקיום והיחידות אנו יודעים לפתור משוואות דיפרנציאליות ממחלקות מסוימות, כמו משוואות פרידות או משוואות לינאריות. עם זאת, קל לכתוב משוואה דיפרנציאלית

Διαβάστε περισσότερα

מבני נתונים מבחן מועד א' סמסטר אביב תשס"ו

מבני נתונים מבחן מועד א' סמסטר אביב תשסו TECHNION ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב מרצה: אהוד ריבלין מבני נתונים 234218 1 מבחן מועד א' סמסטר אביב תשס"ו מתרגלים: איתן

Διαβάστε περισσότερα

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ משוואות רקורסיביות הגדרה: רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים למשל: T = Θ 1 if = 1 T + Θ if > 1 יונתן יניב, דוד וייץ 1 דוגמא נסתכל על האלגוריתם הבא למציאת

Διαβάστε περισσότερα

מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015)

מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015) מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015) מרצה: פרופ' בני שור מתרגלים: אורית מוסקוביץ' וגל רותם 28.1.2015 הנחיות: 1. מומלץ לקרוא את כל ההנחיות והשאלות בתחילת המבחן, לפני כתיבת התשובות. 2. משך

Διαβάστε περισσότερα

מודלים חישוביים תרגולמס 7

מודלים חישוביים תרגולמס 7 מודלים חישוביים תרגולמס 7 13 באפריל 2016 נושאי התרגול: מכונת טיורינג. 1 מכונת טיורינג נעבור לדבר על מודל חישוב חזק יותר (ובמובן מסוים, הוא מודל החישוב הסטנדרטי) מכונות טיורינג. בניגוד למודלים שראינו עד

Διαβάστε περισσότερα

אסימפטוטיים תוכנית הקורס עצי AVL עצי 2-3 עצי דרגות סיבוכיות משוערכת מיון מיון שימושים: גרפים איסוף אשפה

אסימפטוטיים תוכנית הקורס עצי AVL עצי 2-3 עצי דרגות סיבוכיות משוערכת מיון מיון שימושים: גרפים איסוף אשפה תוכנית הקורס cs, Technion 2..3.4 מבני נתונים בסיסיים וסימונים אסימפטוטיים מערכים ורשימות מקושרות עצים ועצי חיפוש עצי AVL עצי 2-3 עצי דרגות.5 רשימות דילוגים סיבוכיות משוערכת.6.7.8.9.0..3.4 מטרת הקורס: מבני

Διαβάστε περισσότερα